Gentzen's centenary - the quest for consistency
- Författare
- (Reinhard Kahle, Michael Rathjen, editors)
- Målgrupp
- Specialist
- Genre
- Festschrift, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2015 | Schweiz, Cham | x, 561 sidor. : ill. | 978-3-319-10102-6 |
| Springer International Publishing, Imprint: Springer | 2015 | Tyskland, Cham | X, 561 sidor. 23 illus. online resource. | 978-3-319-10103-3 |